theorem 9.1